package lanQiao;

import java.io.*;

public class And
{
	public static void main(String[] a) throws Exception
	{
		long i = Long.parseLong(new BufferedReader(new InputStreamReader(System.in)).readLine());
		System.out.println(i*++i/2);
	}
}
